. "hyperintension" . . "hyperintension" .