upvote
I think OP is saying Lean does indeed help.
reply