• /assistant/Checker
• /assistant/Creater/TrueFalse
• /assistant/Creater/PreSuc
• /assistant/Creater/TermDef