发送短信: Relational algebraic ornaments