@ahojnnes, the idea is, if two regions are identical but in different coordinates, do we want them to evaluate as equal? I think yes, but the argument could be made either way. More technically, do we want equality to be translation-invariant? If so, then those properties should be skipped.