theorems

• equality
• taxicab
• UCLA
• maybe
• kneads
• distillates
• panels