Hallo
Sollte eine leere Bedingung nicht immer unwahr sein?
Tatsächlich hat man manchmal im Kopf, wie etwas funktionieren sollte. Das ist nicht nur mit Investox so, sondern auch mit dem neuen Blueray Player, dem neuen Auto oder der Waschmaschine: wenn dann das Ergebnis so nicht eintritt wie gedacht, hilft manchmal ein Blick in die Gebrauchsanweisung. In diesem Fall wäre die erste Wahl unter "Das Zusammenspiel von Enter- und Exit-Regeln" nachzusehen. Da findet sich unter anderem
Wenn keine Exit-Regeln angegeben werden, werden diese aus der logischen Umkehrung der Enter-Regeln gebildet.
Der anglophile Mensch in mir hätte statt meiner vielen Wort wohl einfach dieser einen Abkürzung geantwortet: RTM