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