( 7 , * 40 .)