 The first comes from James Van Cleve’s Problems from Kant (1999), where he offers an analysis of real predication that renders conceptual enlargement (i.e., a predicate that “goes beyond” its subject) in terms of logical non-entailment. He writes: