[ Verkefni ] málsmeðferð

☞ x ≔ 1.
 {
 	(x = 1) satt: { ✎ skrifa: ‘x’. }, brot.
 	✎ skrifa: ‘y’.
 } málsmeðferð.

 {
 	(x = 1) satt: { ✎ skrifa: ‘x’. }, brot.
 	✎ skrifa: ‘y’.
 } × 1.