Adding specifications