Wenn ich die Behauptung, dass p der Fall ist “◇ “!–p” schreibe, die Frage, ob p der Fall ist “?p” und den Wunsch, dass p der Fall sein möge “!p”, so kann der Fall man also nicht schreiben “(!–p) ⌵ (?q)”.