Consider adding distinction between specification and description

This distinction is sometimes useful. Could fit in the specification lecture slides.