The Algorithm for Equality
Briefly