Welcome to Godel pro