formula-first-collision