( 17 , 993 .)