A statement in propositional calculus which Objectivists regard as a profound discovery and political statement, even though it is trivial and in fact axiomatic.