Xanadu was a free .arpa domain

It seems like it would be a mistake to say things like "it was for science and not religion" or vice versa. Additionally, also seems like it would be a bit too on-the-nose. It seems like it would be easier for comparison if they both would point in the same direction. This is cool, but I bet it will be a global problem, but there are many cases where it is a pretty creative job to come up with a more digestable proof language!