legal args fixed, input formulas fixed