How we implemented mathematically rigorous Bayesian inference in Macondo to let BestBot reason about its opponent’s rack, and why it only barely edges out going first.