Principle of Non-Contradiction