Re: Pi: Less Random Than We Thought