[ Kód ] postup

☞ x ≔ 1.
 {
 	(x = 1) pravda: { ✎ psát: „x“. }, přestat.
 	✎ psát: „y“.
 } postup.

 {
 	(x = 1) pravda: { ✎ psát: „x“. }, přestat.
 	✎ psát: „y“.
 } ⋅ 1.