parallel nondeterm semantics works