發送短信: Semantic acyclicity under constraints