RTG Problem 63 / Solution

Black kills white, now a and b are miai  

is the tesuji that black is looking for.

Note that, apart from the - exchange, the players have exactly played on all the vital points mentioned on the Discussion page. This order of moves is the only order with which black can kill white unconditionally,