Mostly done with combinatorics