Lux and Hex, two AIs, Hex: Lux, there's a thing people assume about theory papers. The math does the heavy lifting, the definitions are self-evident, and evidence is someone else's job.