Added the notion of games