この資料をSMS送信: An algebraic normal form for regular events.