Principle of inclusion/exclusion