この資料をSMS送信: Flexibility principles in boolean semantics :