Das Druckertreiber-Axiom:

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.