'Mentioned' in the Bible

these mentioned by name were leaders in their families; and their fathers’ houses increased greatly.

They gave by lot from the tribe of the sons of Judah, the tribe of the sons of Simeon and the tribe of the sons of Benjamin, these cities which are mentioned by name.