Implementing GameProb