A philosophy of A priori thought.