And any non-deterministic algorithm (that ignores the values of cards) will return to its original state with probability 1...? Do you need to add an extra cav

And any non-deterministic algorithm (that ignores the values of cards) will return to its original state with probability 1...? Do you need to add an extra caveat to this?