If only that were possible, all my work was double checked by a senior and we had to validate all the theoretical stuff with a few million runs of simulated games, and then validated again by the testing team who tests the physical machines. It was painfully rigorous, which is why I only ever did the two machines…