minuends
not defined yet