Specifications and Abstraction

Specifications are just another layer of abstraction