trivialiserar