Inferences grounded in essential definitions are formally valid because the containment relation is ...