hw7 combinatorics