The program output being nondeterministic is not proof that it's autonomous