The results yielded by analytic judgment and inference have apodictic validity. The conclusion of a syllogism is derived from the premisses, an analytic judgment from the definition of the subject term. And to the extent that the derivation takes place in conformity with the simple rules of formal logic, the outcome is absolutely correct, that is, it is in accordance with the assumptions from which it is inferred. It has to be correct for the simple reason that it says nothing different from what these assumptions assert; it says the same thing that is already contained in them.