1 := 0', 2 := 1';
x + y := if y = 0 then x else (x+y-)'
x * y := if y = 0 then 0 else x+(x*y-)
x <= y : <=> if x = 0 then T else if y = 0 then F else x- <= y-