trivialness

not defined yet