> Bureaucracy should be treated as a computer program, you have to feed it exactly what it expects. If what it expects had an exhaustive formal spec and also a

> Bureaucracy should be treated as a computer program, you have to feed it exactly what it expects. If what it expects had an exhaustive formal spec and also an automatic validator, that would work better.