Reading the Specification