Situation: Every non- trivial program has at least one bug