Progress is a set of assumptions.