( 40 , 311 .)