 So he was never an All-Pro. He was never an MVP. He was never on the All-Decade team. And you certainly can tell the story of the NFL while he played in the 90s without mentioning his name. So therefore, the verdict, not a Hall of Famer. What about John Taylor? Now you're doing whataboutism. Now you're going whataboutism. They're great.