Describir: Effectivity functions and efficient coalitions in Boolean games.