The simulation argument assumes that nondeterministic computation is a coherent idealization, but Kr...