A proposition that is true solely in virtue of conceptual containment is a definition or tautology, ...