Randy's mother was my English teacher in High School. Small world. Bummer to lose a brilliant professor, but he certainly has left his mark on the world.