unkx80: and is a standard sequence when dealing with capturing races involving the L-group. (If at a, then at .) I didn't do detailed reading, but it seems that White wins this capturing race.
Herman: Thanks! That was the kind of thing I was looking for, now I'll know how to handle L-groups in the future :)