Situation: A working program is one that has only unobserved bugs.