Da kann man dann zumindest noch staunen, dass man "nie" verliert und sieht nach kurzer Zeit, dass das Einsetzen von "gezeigt := 3 - wahl - auto" in "wechsel := 3 - wahl - gezeigt" immer "wechsel := auto" ergibt. Aber je mehr ich mit diesem Programm hantiere, desto mehr komme ich zu der Ansicht, dass vielleicht auch gerade über das Programm (bzw. seine stufenweise Vereinfachung) die Überzeugung der Ungläubigen erreicht werden kann?