(7.30)