Wie Meyer in seiner Argument rule vorschlägt, sollten Optionen in Parameterlisten möglichst vermieden werden und statt dessen in den Status eines Objekts aufgenommen werden, der sich durch andere Operationen verändern läßt. Dieses Prinzip wird in der Ulmer Oberon-Bibliothek durch Disziplinen unterstützt. So können auch Module, die Operationen auf fremden Objekten durchführen (wie z.B. Read.Int für ein Objekt vom Typ Streams.Stream), ihre Optionen beim Objekt notieren (siehe StreamDisciplines).