The Heninger Name Game:Information about Richard Heninger