herschreven worden. De operatoren die herschreven worden zijn: $=, \leq,
\wedge\\
\begin{array}{ll}
- a \wedge b & a+b>1\\
- a = b & \neg(a-b>0)\\
+ a \wedge b & a*b\\
+ a = b & not(a-b)>0\\
a \leq b & \neg(a>b)
\end{array}$\\
\textbf{While} $3=2\wedge 3\leq 4$\\