clean up game semantics