Implement additional non-deterministic functions