theorems

• demoing
• Isabelle
• gauntlet
• mutants
• ringlets
• Navajoes
• incompatibilities
• liberalise
• recites