How football betting markets work, how a probability is made from a goals model, how a price becomes a probability once the margin comes out, and how we grade every number we publish against the closing line.