My old college professor told my friend he has seen my reddit So shout-out to Mr Stephenson when he sees this
