Lean Principles Explained