User blog comment:Boboris02/MBOT/@comment-1605058-20161221204639/@comment-30118230-20161221215101

Yes,I get it but it needs the same language as FOST for it's formulas and theorems,while the Phi systems are unique to MBOT.