The Inclusion-Exclusion Formula