Added by Cube: a condition gives something other than one Boolean, as the engine typed it (PLAN ยง11.11)