The Genius of Roby Lakatos