xela: looks complicated, but I think it still leads to ko.
xela: This is different from Gokyo Shumyo, Section 1, Problem 60 because are short of liberties, so at a does not work.
Referenced byGokyoShumyoSectio...