Every non trivial program has at least one bug