Wahn's Last Name and Tyler's First Name Are Withheld?

"There are a lot of possible defeats that are alluded to. Do you have any guesses? What the name would be?" "I didn't guess, even though this is probably a historical enough person that we could even find out," he says. The author wonders more about Wahn's last name than it did about Tyler's first name.