5+m <= 2^m-1