n := 0;+− if (n == 0) && (n == 1) then {+− write "yes"+− } else {+− write "no"+− }+−