Concept-containment theory of truth