fixed combinatorial for N == k.