"The digits of pi are 3.1..."