Adding specification