oversupplying

• Mizar
• madwoman
• simians
• reshuffles
• theorems