Double dispatch used for recognizing collisions