He created that company I believe. I interviewed at Godel long ago and would probably have received an offer but he was convicted during the interview process and they paused hiring.