Add the specification