( 40 47 .)