Nondeterministic Modal Interfaces I , II