發送短信 : Towards verification of computation orchestration

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