FALSE is a logic of value: false