/  
p kommt in ~p in (genau) demselben Sinne vor wie ~p in p.

\