finished removing all sources of nondeterminism