game and statistic model check