subfactorial(Γ(4)) + !4 - !4*!4