I knew Derrick Lehmer Jr before he passed away, just happened to know the name.