Title: Challenging the Future with Lean