triviality

not defined yet