Superdave: I think black will answer like this.
fractic: If White will play at a and then Black b would be self atari.
Superdave: Or if @ , then @ .
fractic: But if @ a Black will get a ko. The double snapback at the top is the correct solution.