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