I had a long boring meeting. I decided it was time to grow up and learn a little Lean. Let's do formal methods. Let's be serious, you know? It's pretty cool!