U7: correct the formulae