Ist sie nicht von der Art: „~2np ≝ p”?