Unfortunately, I think we’ve all been in the situation where we needed to recall some obscure lemma that we were sure wasn’t going to be on the test.