Inclusion-Exclusion Formula