Separating Headers kernel/combinatorics