This series of articles and replies has really made me think about the structure of the Fediverse (as a casual user, though in the software biz), and for that I am very thankful. It makes me think, though, that just as open source developers got around the “free as in speech vs. free as in beer” issue by using the word libre, if the Fediverse needs another term – or even just call it “capital-F federation” – to distinguish the kind of first-class federation that Christine and ActivityPub represent vs. the definition that ATProto has suggested (and even vs what lots of regular software/service companies mean when they describe a system of microservices as federated).