"Concept 1 of coextensio" . .