7.8 7.8 7.9 7.10 , 7.10.