[zimpenfish]

I think if people built software 100 times slower, they'd probably end up with more robust software, TLA+ or no.