jute

• brash
• lemma
• ellipse
• optimiser
• axiomatically