On Thu, Jul 19, 2012 at 8:15 PM, Daurnimator <quae@xxxxxxxxxxxxxxx> wrote: > > == isn't guaranteed to be transitive > You can easily end up with the same behaviour when writing an __eq metamethod > I understand that __eq can be abused to achieve weird behavior of == operator. My question is whether is makes sense to do so. In formal logic transitivity is part of the definition of equality relation. Breaking it could have really bad consequences. --Leo--