[ Κώδικας ] διαδικασία

☞ x ≔ 1.
{
(x = 1) αληθής: { ✎ γράφω: ‘x’. }, Διακοπή.
✎ γράφω: ‘y’.
} διαδικασία.

{
(x = 1) αληθής: { ✎ γράφω: ‘x’. }, Διακοπή.
✎ γράφω: ‘y’.
} × 1.
xx