發送短信 : On Proof Techniques and Technology

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