trivialness
not defined yet