Challenging the Future with Lean