User blog comment:Alemagno12/A definition for phi(n)/@comment-30004975-20161220231627/@comment-30004975-20161222020613

It appears that phi(x)=>y=>z... makes a function with arguments x,y,z... in MBOT. Also, I suggest calling Boris's version MBOT and Alemagno's version MBOAT (because that sounds better than MBAOT)