( 13 , 231 .)