finished commenting combinatorics library