Specifications are the focus of quiz 13. You should understand the notion of a specificand set and understand the role of preconditions and postconditions in determining this set.
You should understand the concepts of restrictiveness and generality.
You should be able to manage redundancy in Liskov's style with definitions (i.e.) and examples (e.g.).