U7: add the formula