Definition of REMAINDER-MAN