The acylindrical PD3-pair splitting conjecture
Acylindrical vertex-pair conjecture. Either si=1s_i=1si=1 (and hence sj=1s_j=1sj=1), or i=ji=ji=j and g−1Hrg=Hrg^{-1}H_rg=H_rg−1Hrg=Hr.