to trivialize [ trivialized ; trivialized ]