[math-fun] Paul Lockhart?