====== Minuend ======