nonTrivialBases helper