How do you ask the right Lean questions? | Hacker News Reader