nontrivialities