Updated equality (only propagate untouched)