Inclusion-exclusion_principle loading ...