coextensive/to be