modded

• ensure
• cures
• bitmap
• rheum
• debugged
• counterexamples
• totalities