Characterization conjecture. The displayed inequalities characterize the mmm-critical positions of NIM(n,k)(n,k)(n,k).