`$minuend` and `$subtrahend`? what do these mean?