Specify

The output is an executable spec. The spec is the design.

Authors and owns the spec