






X2 = X_imp;
