 In Boolean games some objectives can be realized all together, for instance agents might all want \(p \vee \neg q\) to be true, or it might be the case that certain valuations do not realize the objectives of all agents, but no unhappy agent is able to improve his or her own situation by changing the assignment to the propositional variables he or she controls. This situation is a very simple form of Nash equilibrium that can be expressed in Boolean games.