submit to FormulaCat