Add the beginnings of the specification