This module of the Introduction to Specifications course defines and bounds the scope and use of specifications.