Yeah. Sadly I didn’t use my real name when I registered. Sorry if that got anyone confused. Nesov uses my real name because we had many email exchanges, and also because he’s a university friend of my brother’s :-)
In the draft, I used your nickname at first, but in “prior work” section that sounded rather strange, so I replaced it with your real name everywhere. Glad to see that agrees with your preference.
Yeah. Sadly I didn’t use my real name when I registered. Sorry if that got anyone confused. Nesov uses my real name because we had many email exchanges, and also because he’s a university friend of my brother’s :-)
In the draft, I used your nickname at first, but in “prior work” section that sounded rather strange, so I replaced it with your real name everywhere. Glad to see that agrees with your preference.