math.combinatorics: adding a k-permutations virtual sequence.