 Roughly this means that Σ does not depend essentially on any part β of any prior explanation where α is essential to β. There are some additional possible technical qualifications required, but the general intuition should be clear. 