 Clearly, when formula_29, such codes exist only if "n" is a power of 2.Otherwise, if "n" does not divide formula_30 evenly, it is possible to construct "well-balanced" codes where every transition count is either formula_31 or formula_32.Gray codes can also be "exponentially balanced" if all of their transition counts are adjacent powers of two, and such codes exist for every power of two.