Capacity restriction and its monotonicity

For multiple regions one can make the same statement with pointwise occupancy and effect bounds, provided the experimental library is fixed independently of the current active graph.