Title: Augmented Lean