From congruence identities to tolerance identities - Lipparini Paolo (2007)