It's the Law of Leaky Abstractions though isn't it? Most of my time isn't taken by the mainline stuff - it's dealing with things that don't do what they say on

It's the Law of Leaky Abstractions though isn't it? Most of my time isn't taken by the mainline stuff - it's dealing with things that don't do what they say on the tin or weird edge cases. I'm thinking back to my recent work and really can't imagine any of it being turned into something that could be done in something like TLA+.