! is the point; at a is met by at b. Black has too many defects.
Black can't escape.
Referenced byShikatsuMyokiTsum...