Every non-trivial program has at least one bug.

Every non-trivial program has at least one bug.