Write contracts in some collisions