inclusion-exclusion-principle public under theorem 13 List Picture As a command Nothing is filed under inclusion-exclusion-principle.