In the previous post, I said that I didn’t know who "Adam Hall" was a pseudonym for; actually, I did find out, but forgot that I had found out. His real name is Elleston Trevor. Now that you know something you didn’t know you should know or care about, you can rest easier, I’m sure.