Consider it some sort of odd college football riddle: When is 25 greater than 40?