Working on definitions of game, normal form...