Lean deserves a verification dosent he?