lecture 7 spec