 But what is a synthetic a priori judgment? Combining the a priori-a posteriori distinction with the analytic-synthetic distinction, Kant derives four possible kinds of judgment: (1) analytic a priori, (2) analytic a posteriori, (3) synthetic a priori, and (4) synthetic a posteriori. By virtue of the fact that analytic judgments are necessarily true, and given Kant’s thesis that necessity entails apriority, it follows that all analytic judgments are a priori and that there is no such thing as an analytic a posteriori judgment. By contrast, synthetic judgments can be either a priori or a posteriori. Synthetic a posteriori judgments are empirical, contingent judgments, although they may vary widely as to their degree of generality. Synthetic a priori judgments, by contrast, are non-empirical, non-contingent judgments.