Sorry, I just realized that was from 1999. I regret the mixup.

— Orin Kerr (@OrinKerr) November 27, 2019