9 , 199X1 .)