Re: [math-fun] Paul Lockhart?