[ Kòd ] pwosedi

☞ x ≔ 1.
 {
 	(x = 1) vre: { ✎ ekri: ‘x’. }, kraze.
 	✎ ekri: ‘y’.
 } pwosedi.

 {
 	(x = 1) vre: { ✎ ekri: ‘x’. }, kraze.
 	✎ ekri: ‘y’.
 } × 1.