LukeNine45: Not sure if trading for
is necessary. Other
's are possible but I'm pretty sure they lead to the same position or a worse one for white.
LukeNine45: Black makes a ko with . Other moves let white get too many liberties (e.g. below).