Why is taking out this loop ok? Are we guaranteed never to merge these properties?