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

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