( 20 , 231 .)