(0 = 1)
eq
nat
0
1
S
0
2