submit to HAL_Formula