HAL_FORMULA