It’s weird to think that Elon Musk will end up having paid far less for the United States Government than he did for Twitter