User blog comment:Boboris02/MBOT/@comment-30167082-20161218151736/@comment-30118230-20161218165823

" My guess is that FOOT function should be able to be described in less than 1000 symbols,but I can't prove any of that without actualy showing the solution and I don't have it. "

I don't know it! There must exist a way to put in the system for it but I don't know what that system is.I may find out one day but I don't know it right now.