add the specification