trivializing

not defined yet