nontriviality

not defined yet