Learning to Lean and the sweet by-and-by