發送短信: Algebraic theories