add subtraction spec