show/hide this revision's text 1 [made Community Wiki]

In 1990, my intuition (and I don't think it was just mine) was that IP couldn't possibly contain PSPACE. Intuition was wrong.