Principle of non-contradiction