To save people a search, <a href="http:&#x2F;&#x2F;www.toothycat.net&#x2F;~hologram&#x2F;Turing&#x2F;index.html" rel="nofollow">http:&#x2F;&#x2F;www.toothycat.net&#x2F;~hologram&#x2F;Turing&#x2F;index.html</a>