Drew wrote:I don't understand how this makes ko.
Hi Drew, it's B's turn to play, so:
Where can B play locally, and what are the different results, locally ?
Can you see, and do you agree, that if B does not play at the solution (x),
but
anywhere else, then W can kill at least

?
$$B :b1: not at (x)
$$ ------------------
$$ | . O Y x . X . . .
$$ | . O Y . X O . . .
$$ | . O Y Y O O . . .
$$ | . X O O O . . . .
$$ | . X . . . . . . .
$$ | . . X . . . . . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$B :b1: not at (x)
$$ ------------------
$$ | . O Y x . X . . .
$$ | . O Y . X O . . .
$$ | . O Y Y O O . . .
$$ | . X O O O . . . .
$$ | . X . . . . . . .
$$ | . . X . . . . . .
$$ | . . . . . . . . .[/go]
Drew wrote:The program's stated answer is shown below as 1-3.
My objection is 4 & 6.
Sorry, what you said is a bit unclear:
does the program show the solution only up to

?
Or does it also include

and

?
Drew wrote:What I see is

elsewhere and

killing all the group and taking the 6 stones.
Same question: does the program include

, removing the 6 B stones, or is that your continuation ?
After

hane,

starts the ko.
Suppose

is a ko threat elsewhere, and W replies with

(also elsewhere).
Then B can re-take the local ko with

, which gains an important liberty for B --
now the big B group momentarily has 2 liberties:
$$B :b5:, :w6: elsewhere
$$ ------------------
$$ | . O X 1 4 7 2 . .
$$ | a O X . X O . . .
$$ | 3 O X X O O . . .
$$ | . X O O O . . . .
$$ | . X . . . . . . .
$$ | . . X . . . . . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$B :b5:, :w6: elsewhere
$$ ------------------
$$ | . O X 1 4 7 2 . .
$$ | a O X . X O . . .
$$ | 3 O X X O O . . .
$$ | . X O O O . . . .
$$ | . X . . . . . . .
$$ | . . X . . . . . .
$$ | . . . . . . . . .[/go]
This means that
if -- an important
if --
B has the chance to play at (a)
while the 6 B stones are not in atari,
then B kills W here, and B lives.
Which is better than simply dead for B.
This is why the solution

is a ko.
Drew wrote:The reader is supposed to assume that

...
If your program includes

removing the 6 B stones,
it's showing the local result when W wins the local ko.