Thus according to the philosophers before Kant, the law of contradiction, which asserts that nothing can at the same time have and not have a certain property, sufficed to establish the truth of all a priori knowledge.