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

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