nontrivial (trivial + non-; negation)
Not trivial