發送短信 : Towards verification of computation orchestration

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