The Principle of Non-Contradiction