. . "is bound by sequence of" . "Chris Mungall" . . . . "inverse of bounds sequence of" .