Man, there was a lot of obtuse argument to wade through to get to this post. This is an interesting fact. Apparently this is the source? https://arxiv.org/abs/

Man, there was a lot of obtuse argument to wade through to get to this post. This is an interesting fact. Apparently this is the source? https://arxiv.org/abs/cs/0111050 https://arxiv.org/abs/cs/0111050