Inclusion-exclusion