Lean how to avoid collisions