Rules of subtraction.