Kurt godel move ordering