發送短信: Note about predicate transformers