combinatorics updated by induction