ABS_formula