nontrivial

not defined yet