Lubarsky's Law of Cybernetic Entomology
prov. "There is
always
one more bug."