Now let us look at the POSET for the combinatorics