I think Horford will be solid outside of Philly.
I was hoping the Sixers were sending the first rounder they had this year to complete this trade. I traced the origin of that pick; it's pretty funny. (If you find this kind of stuff funny). The first rounder the sixers have this year was initially OKC's, in 2016 the thunder traded it to Philly for Jerami Grant. So you're thinking, oh, that would be kind of cool, OKC gets the pick back they traded for Grant. But wait!
Then in 2017, Philly traded the pick to Orlando to get Anžejs Pasečņiks. But then Orlando traded the pick back tp Philly when they traded for Markelle Fultz! What a round tripper that would've been. But, alas, it's a 2025 "lightly protected" first instead