trivialised

not defined yet