spec for lecture 6