أرسل هذا في رسالة قصيرة: On Proof Techniques and Technology

            ______    _____      ___              
  ____     /_   _//  |__  //    / _ \\    ____    
 |    \\    -| ||-     / //    | / \ ||  |    \\  
 | [] ||    _| ||_    / //__   | \_/ ||  | [] ||  
 |  __//   /_____//  /_____||   \___//   |  __//  
 |_|`-`    `-----`   `-----`    `---`    |_|`-`   
 `-`                                     `-`