"There are two ways of constructing a piece of software: One is to
make it so simple that there are obviously no errors, and the other
is to make it so complicated that there are no obvious errors."
C. A. R. Hoare