Kant's analytic-synthetic distinction shows that analytically true propositions can be both self-evi...