Malcolm: My evaluation. Black to play: the corner can live by Ko. White to play: White can kill the corner by Ko.
Herman: All out ko...
JoelR: What about at a?
Reuven : JoelR is right - B cannot `a` because of `Wb`