Another theory of truth which is related to a-priorism is the concept-containment theory of truth. The concept-containment theory of truth is the view that a proposition is true if and only if the concept of the predicate of the proposition is "contained in" the concept of the subject. For example, the proposition that bachelors are unmarried men is true, on this view, because the concept of the predicate (unmarried men) is contained in the concept of the subject (bachelor). A contemporary reading of the concept-containment theory of truth is to say that every true proposition is an analytically true proposition.