Definition of "subtracts"