Yes, my reddit userid really is Professor_Hexx.