( 9 , 20 .)