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,