I like this idea. Makes me think of nondeterministic v deterministic Turing Machines. It is easy to confirm that the magician is correct, but hard to see how they were able to get there.