trivialising

not defined yet