All non-trivial software programs contain at least one bug.