[ Booleà ] cert: [ Tasca ]

var x := 10.
(x > 9 &: x < 11) cert: {
Stdout escriu: x, atura.
}.
10