inclusion-exclusion principle