This variant relies on the tolerance of this model for nondeterministic state machines in the modal model.