T259
(<=> (forall ?Y (exists ?X (<=> (F ?X) (not (F ?Y))))) (and (exists ?X (F ?X)) (exists ?X (not (F ?X)))))
Proof Trace