n(Z)
-n(?x) | n(s(?x))
