Muß er nun dazu etwas vorauswissen? Nein. p ⌵ ~p sagt wirklich nichts.