User blog comment:Boboris02/MBOT/@comment-30004975-20161219055116/@comment-30118230-20161220184256

Ok,now I understood your question.

I have an idea:I will define all the parts of MBOT(including functions,statements,theorems,calculations and notators),which will have the solution for most,if not all of the wholes in the definition.