( 6 , 6.17 .)