Inclusion exclusion principle