procedure main()
raining := TRUE := 1                         # there is no true/false null/non-null will do
if \raining then needumbrella := TRUE        # normal
needumbrella := 1(TRUE, \raining)            # inverted (choose sub-expression 1)
end