Xuanxuan Qijing Problem 1 / Solution
Why is forced? See the following variations.
Next white plays c to get out.
If black plays here instead of in the mainline, the sequence in the previous diagram still works.
Black can't block with or in the mainline, otherwise white can just push twice and make double atari to break out.