SMS: Flexibility principles in boolean semantics :