Misc

• Deducción natural
  
• Lambda GUI