Had a great time becoming acquainted with TLA+ today. I’ve only just dipped my toe in but I am confident more formal proving systems will only become more useful in the brave new world.