أرسل هذا في رسالة قصيرة: Information and Knowledge: a constructive type-theoretical approach

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