Comment by voidUpdate

I can see the first one making sense, but why would you need a representation of equality other than "yes, these are equal" and "no, these are not equal"?