I had not thought about transitivity on equality, now it makes even more sense to behave like this. Thanks.