“…This proof can be thought of as exhibiting a bijection between X d,1,s and the set of compositions of s + d − 1 into parts of sizes 1 and d + 1. Formally, given a subset A ⊆ Z + , an A-restricted composition of a nonegative integer n is a finite sequence of elements of A that sum to n. These compositions have been studied in a variety of settings (see, e.g., [12], [17], [9]), and Chinn and Heubach [11] have paid special attention to the case A = {1, k}. All of our results for N d,1 (s) apply equally well to the number of {1, d + 1}-restricted compositions of s + d − 1.…”