determinism and termination