adding the spec for substract