( 7-10 , 16 .)