Silly Axioms

[(forall ([?x *Should be @x??]) (implies (P @x)(Q ?x @x))) This is a very silly axiom, see http://www.ihmc.us/users/phayes/sillyaxioms .]

(Hey, what did you expect? Something original??)