A thesis concerning entailment described by logician William T. Parry (1919–1984) according to which in a propositional language with a conditional connective $\to$, a conditional formula should be considered a theorem only if all atomic formulae appearing in the consequent appear in the antecedent. A conditional connective in a propositional logic that satisfies this thesis is referred to as analytic due to the similarity between the principle and the notion of an analytic judgement in the work of philosopher Immanuel Kant (1724–1804).