Law of non-contradiction