Stav dette: Flexibility principles in boolean semantics :