发送短信: Note about predicate transformers