Arguing from what is given to what must follow — the move that separates mathematics from measurement.