The simpler-proof conjecture for Proposition 2

The paper considers ideal branched triangulations of the relevant drilled 3-manifold and composite ideal branched transits between them, with admissible boundary configurations as in Proposition. Simpler-proof conjecture. There is a substantially simpler proof of Proposition. The claim is presented as an informal conjecture in an alternative, partially conjectural approach to the connectivity results; the source gives no resolution beyond noting that Proposition follows from Theorem.