#+title: analytic judgment

An analytic judgment is a type of judgment where "the predicate is contained
within the subject," such as 2 + 2 = 4.