nil, non-determinism, exceptions