Decision

var x := (1 == 0).
var y := (1 == 1).
Pen write: x, stop.
Pen write: y, stop.