[ Uzdevums ] procedūra

☞ x ≔ 1.
 {
 	(x = 1) taisnība: { ✎ rakstīt: ‘x’. }, pārtraukums.
 	✎ rakstīt: ‘y’.
 } procedūra.

 {
 	(x = 1) taisnība: { ✎ rakstīt: ‘x’. }, pārtraukums.
 	✎ rakstīt: ‘y’.
 } × 1.