The independent retained-shadow condition

The two inequalities in (eq:conjunctive-bound) have different functions. The first keeps the required flat causal calculation inside the laboratory. The second excludes intrinsic additional arrivals. Neither implies the other.