The specification

Introduction