trivialization

not defined yet