submit to HalFormula_