"Every program can be shortened by one line, and every program contains at least one bug. By which we can infer that every program can be reduced to a single, incorrect line of code."