How to use formalms

"How to use formalms" is not written yet.