Self-Contradictory Propositions.