"But the same thing that makes it hard for us to reason about when it's safe to deploy makes the rules seem stupid and inefficient!"

This is a humbling illustration that will haunt me the next time I find myself in the same situation