|____/ \__,_|_| \__,_|_| |_|
-Treffen sich zwei A - Klasse Fahrer, fragt der eine den anderen:
-"Gehen wir einen Kippen?"
+Das Druckertreiber-Axiom:
-Today is Prickle-Prickle, the 26th day of Discord in the YOLD 3186
+Gegeben ist ein Anwendungsprogramm mit beliebig vielen Disketten, auf
+denen beliebig viele Druckertreiber sind.
+1. Dein Drucker ist bei der Treibersammlung nicht dabei.
+2. Ist ein Treiber für Deinen Drucker dabei, dann ist er kaputt.
+3. Ist er vorhanden und nicht kaputt, dann ist es eine Version,
+ die dringend ein Update oder ein Patch braucht.
+4. Ist er vorhanden, nicht kaputt und aktuell, dann arbeitet er nicht
+ mit dem Interface zusammen.
+5. Ist er vorhanden, nicht kaputt, aktuell und arbeitet mit dem
+ Interface zusammen, dann beherrscht er ausschließlich den
+ altgriechischen Zeichensatz und druckt nur im tibetanischen
+ Dreiecksformat von links unten nach rechts oben.
+
+Today is Setting Orange, the 27th day of Discord in the YOLD 3186