add non-deterministic note