 And it didn't hit me who he was until the eve of his execution. He was executed in 1985, I think, 84 or 85, May 10th. And by this time, his name was plastered all over the media, the print media, the television, radio. I mean, everyone knew his face. Right.