[|p] kommt in non-p in demselben Sinne vor, wie non-p in p.