Inclusion-exclusion principle