(;AP[Hexon:0.0]FF[4]GM[11]SZ[11]C[2023/06/02

Black\: Eric
White\: Thomas

Black wins.
]PL[B]
;B[j8]
;W[h4]
;B[j4]
;W[h5]
;B[i3]
;W[i6]
;B[j7]
;W[k5]
;B[h6]
;W[i5]
;B[d5]
;W[d3]
;B[c3]
;W[d2]
;B[c2]
;W[c4]
;B[b6]
;W[a5]
;B[e3]
;W[e4]
;B[d4]
;W[d6]
;B[f5]
;W[f6]
;B[e6]
;W[e7]
;B[c8]C[Thomas\: As we show later on, since g8 connects, this must be winning for Black.]
;W[h1]
;B[g2]
;W[c9]
;B[d8]
;W[d9]
;B[e8]
(;W[resign]C[Thomas\: White loses here. There are 3 cases, see the next 3 variations.

Eric\: The one I saw was, using b10+j8+j7.

Peter\: Indeed\: j7+j8 is a 4th row ladder escape, even without b10.])
(;W[e9]
 ;B[g8]
 ;W[f8]
 ;B[g6]
 ;W[f7]
 ;B[g5])
(;W[e10]
 ;B[e9]
 ;W[d10]
 ;B[g9]
 ;W[f9]
 ;B[g8]
 ;W[f8]
 ;B[g6]
 ;W[f7]
 ;B[g5])
(;W[f10]
 ;B[e9]
 ;W[d11]
 ;B[d10]C[Eric\: Or b10 directly.]
 ;W[c11]
 ;B[b10]
 ;W[c10]
 ;B[b9]))
