 More precisely however, synthetic a priori judgments have three essential features. First, because a synthetic a priori judgment is a priori, its meaning and truth are strictly underdetermined by sensory impressions and/or contingent natural objects or facts, and it is also necessarily true. Second, because a synthetic a priori judgment is synthetic, not analytic, its truth is not determined by conceptual/truth-functional-logical/monadic-predicate-logical factors alone, and its denial is logically consistent. Third, as is the case with all synthetic judgments, the meaning and truth of a synthetic a priori judgment is intuition-based. This third factor is the crucial one. For while the meaning and truth of synthetic a posteriori judgments is based on empirical intuitions, the meaning and truth of synthetic a priori judgments is based on pure intuitions or our a priori formal representations of space and time (B73) (8: 245) (11: 38). Now since according to Kant our a priori formal representations of space and time are both necessary conditions of the possibility of human experience and also necessary conditions of the objective validity or empirical meaningfulness of judgments, which in turn confers truth-valuedness upon propositions, it then follows that a synthetic a priori judgment is a proposition that is true in all and only the humanly experienceable possible worlds and truth-valueless otherwise (Hanna 2001, 239–245). By sharp contrast, analytic judgments, as logical truths in either a narrow (truth-functional or syllogistic) or broad (intensional logic) sense, are true in all logically possible worlds, including those logically possible worlds in which human experience is not possible, i.e., the worlds containing non-phenomenal or non-apparent entities, especially including things-in-themselves, i.e., the “noumenal worlds.”