A.-B.X2 ) [ 9232 .]