It is a natural view that our intellectual activities should not result in positing contradictory theories or claims: we ought to keep our theories and claims as consistent as possible. The rationale for this comes from the venerable Law of Non-Contradiction, to be found already in Aristotle's Metaphysics, and which can be formulated by stating: for any truth-bearer A, it is impossible for both A and ¬A to be true.