Apodictic propositions contrast with assertoric propositions, which merely assert that something is (or is not) true, and with problematic propositions, which assert only the possibility of something being true. Apodictic judgments are clearly provable or logically certain. For instance, "Two plus two equals four" is apodictic. "Chicago is larger than Omaha" is assertoric. "A corporation could be wealthier than a country" is problematic. In Aristotelian logic, "apodictic" is opposed to "dialectic," as scientific proof is opposed to philosophical reasoning. Kant contrasted "apodictic" with "problematic" and "assertoric" in the Critique of Pure Reason, on page A70/B95.