
Auto.

!(< A >(p(A) & 
     !p(A))).
