Les jeux de base (simple ou avec maximisation de l'échange d'information) ne possèdent pas de conditions d'entrée, d'invariant et de conditions de sortie. En fait, ce que l'on souhaite c'est d'être dans le jeu de base durant tout le dialogue. Pour cela, les conditions d'entrée et l'invariant sont << true >> et la condition de sortie est << false >>.