minuend
not defined yet