The proof relies on enumerating all configurations of a nondeterministic machine, but 'configuration...