Inclusion-Exclusion principle