( 7 , 5.16 .)