residue of a rule - Search