Write specification.