At Least I Tried by Lean