The clearest cases of immediate inference are demonstrated by the Square of Opposition. For example, if we know the definition of contrary propositions, if we know the truth value of a Universal Affirmative proposition we can immediately infer the truth value of its contrary. This also holds for contradiction and, in some cases, sub-alternation.