The Lean Logo Formula