Step 4: modifying the formula, to use the knowns