Stav dette: Independence theory in combinatorics