 So analytic and synthetic a priori judgments sharply differ not only in the nature of their semantic content (i.e., concept-based/truth-functional-logic-based/monadic-predicate-logic-based vs. intuition-based) but also in their modal scope (true in all logically possible worlds vs. true in all and only humanly experienceable worlds and truth-valueless otherwise). Nevertheless, despite this sharp difference in modal scope—from which it follows, perhaps surprisingly, that for Kant there are logically possible worlds in which synthetic a priori propositions such as “7+5=12” are thinkably deniable—since synthetic a priori judgments are either true or truth-valueless in every logically possible world, it also follows that they are never false in any logically possible world and thus satisfy Kant’s general definition of a necessary truth, i.e., that a proposition is necessary if and only if it is strictly universally true, in that it is true in every member of a complete class of possible worlds and has no possible counterexamples or falsity-makers (Hanna 2001, ch. 5). Less abstractly and gallumphingly put, a synthetic a priori judgment is a necessary truth with a human face.