satyreyes: I would like to see a continuation or two here. I got as far as
, but I don't see why
solves white's problem and I'm not confident I'd know how to prove the kill if black kept playing. Can't black still get eyespace by winning the capturing race? Or is that not enough because the a region is only good for one eye, and the others are falsifiable? What about trying for another eye at b?
dencarl: Both white moves are designed to remove black eyes. After black has only one eye remaining.
airfrog: It might be worth checking out Recognizing an Eye if it's hard to see why removes the possibility for an eye at b or c, or why Black can't make an eye elsewhere.
Another failure because it is an even capturing race and black has sente. So... almost works.