Collatz Lean