Motto of MetaFormula