You read my mind. I was thinking of HPMOR when I wrote the comment.