For a second I thought they were going to do a formalization of the rules to find weak points or optimal plays.