Specs for subtraction operation.
Update specs comments.