( 6 , 20 .)