coordination game. Due to the generality of the program, this is achieved only by changing payoffs