Abstract Equality Comparison Algorithm at its finest