Text: "All whose true names they could find, that is," Garm amended.
Entailment: Everyone's true name they could find.
Contradiction: They found no one's true name.