Digital computers are themselves more complex than most things people build:
They have very large numbers of states. This makes conceiving, describing,
and testing them hard. Software systems have orders-of-magnitude more states
than computers do.
-- Fred Brooks, Jr.