"thus producing a formula that is"