add specification