john pardon mathoverflow