Demonstration of a zero-error, O(1) information complexity algorithm for equality.