Also ich kann mir einen Kommentar nicht verkneifen...
Irgendwie kommt mir dieses Urlaubsproblem bekannt vor. Deshalb fahr ich auch nur noch eine Woche...

Behauptung:
Jedes Programm läßt sich um mindestens eine Anweisung kürzen.
Jedes Programm hat mindestens einen Fehler.

Durch Induktion können wir schließen:
Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert...

Ein Neandertaler und eine Neandertalerin sitzen verliebt nebeneinander und betrachten den Sonnenuntergang.
Sie: "Liebling, sag doch einmal etwas zu mir, was noch nie ein Mann zu einer Frau gesagt hat."
"Laserdrucker!"