發送短信 : Towards verification of computation orchestration

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