Text this: Nondeterministic Modal Interfaces.