Laws of Programming: #1 - Every non-trivial program has at least one bug Corollary 1: A sufficient condition for program triviality is that it have no bugs. Corollary 2: At least one bug will be observed after the author leaves the organization