Verified addCollision