Definition of "coincides"