Pigeonhole_principle loading ...