Like professional wrestling, but with math.