A philosophy of a priori thought.