( 7 , 7.12 .)