if (!e.getValue().equals(other.getAugmentation(e.getKey()))) { return false;
if (!e.getValue().equals(other.getAugmentation(e.getKey()))) { return false;
if (!e.getValue().equals(other.getAugmentation(e.getKey()))) { return false;
if (!e.getValue().equals(other.getAugmentation(e.getKey()))) { return false;