pro-collision in Tucker 1