residue
not defined yet