Specifications as Goalposts

Specifications as Goalposts