Games have the notation {L|R}. formula_1 are the games the left player can move to. formula_2 are the games the right player can move to. If you know chess notation, then the usual chess setup is the game 