發送短信 : Towards verification of computation orchestration

  _____     _____     ____       ___     _    _   
 |__  //   |  ___||  |  _ \\    / _ \\  | || | || 
   / //    | ||__    | |_| ||  | / \ || | || | || 
  / //__   | ||__    | .  //   | \_/ || | \\_/ || 
 /_____||  |_____||  |_|\_\\    \___//   \____//  
 `-----`   `-----`   `-` --`    `---`     `---`