( 12 , 931 .)