( 7 , ( 31 .)