"Why not just use Lean?"