-Un(1) // variabele x wordt klaargezet
-push 1 // de waarde 1 wordt klaargezet
-sub // subtractie om straks gelijkheid te kunnen bepalen
-push 1 // de waarde 1 word gepushed om 0 te maken
-dup // de waarde 1 staat er nu twee keer op
-sub // 0 staat op de stack om groterdan relatie te bepalen
-push 2 // klaarmaken om de bovenste twee te swappen
-push 1 // idem
-roll // swappen
-gre // als x>0 dan ligt 1 op de stack anders 0
-not // als x=0 dan ligt 1 op de stack anders 0
-pointer // als x=0 dan draait de DP niet en gaat het programma naar pad A
- // als x$\neq$ dan draait de DP en gaat het programma naar pad B
+ // Un(2)
+ // $\neg$(x=1) $\equiv$ \neg(x-1)>0)
+
+
+ // x-1
+ // Twee waardes ervoor gepushed dus $n=n+2$
+ // Un(3)
+push 3 //
+push 1 //
+roll //
+dup //
+push 4 //
+push 1 //
+roll //
+push 1 //
+sub //
+not // $\neg(x-1)$
+
+push 1 // zet $0$ op de stack
+push 1
+sub
+
+gre // $\neg(x-1)>0$ oftewel x=1
+
+pointer // als x=0 dan draait de DP niet en gaat het programma naar pad B
+ // als x$\neq$ dan draait de DP en gaat het programma naar pad A