Shorter combinatorics examples