#79 #80 move state property from GameModel to ArithmeticModel