Collisions related files, double dispatch