-n(A)
-n(s(s(?x)))
