TIBET-KLEVE
 

 ∃x(¬E!x ∧ Px)