Email Record: Learning with Lean :