agave

• conjectures
• quantifiers
• evidences
• unfailing
• shortness