Is there a difference between a priori vs a posteriori thought and analytic vs synthetic propositions?