My autoclash script is subsumed by 'congruence'