1 var 8 
2 var 8 
3 urem 8 1 2
4 zero 8 
5 ne 1 2 4
6 ulte 1 3 1
7 implies 1 5 6

8 ulte 1 3 2
9 implies 1 5 8
10 and 1 7 9 
11 root 1 -10