Elements Of Lean Principles