أرسل هذا في رسالة قصيرة: Applied proof theory : proof interpretations and their use in mathematics

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