Will do my Conjuring with Logic in coffee breaks at QMUL World Logic Day event 14th Jan. You wouldn't do a trick for an audience unless you were sure it ALWAYS works, but how to be sure? The same way you check an algorithm is correct by using logic (not just testing) https://sites.google.com/view/wld25/home