caranthir: @Farkas In the SGF I tried to show that white is already alive in seki after b D18, w C19, b E19, and the sequence is therefore a failure (in gote even) for black. Adding w E17 after that gains nothing for white. The problem was incorrect before in that b D18, w C19, b E19 was shown to be a success for black (which was the whole point of my demonstration), but was thereafter fixed.
Thank you.