residuation

not defined yet