Definition:

residues