ProtoDeuteric: This is the solution. "a" can be used later as a possible ko threat. If at , then at .
TimK: If Black plays 1, then White has the throw in, and he gets a second eye.
Anonymous: Note that capturing with at a results in a snapback.
togo: on and on - Capture three to make an eye.