Equality may more efficiently use equality of the underlying judgement trails