( 40 , * 744 .)