Add definitions for specification and design.