Fraud Benson's Rule?

["Weimin Xiao" <ranxiao@xxxxxxxxxxxx>]

Hi, there,

I have the following up left part of a board, and the blacks (@; O white, +
empty) are dead:

+OO+@+@+O +
O+O+@@@OO+
OOO+@OOO+
++++@OO+
@@@@O+
OOOOOO+
+++++++++

Based on Martin Muller's description of Benson's Unconditional Life rule
(Playing it Sage, M. Muller),
1. The up left region (spaces) between white and black is color-enclosure,
small, and healthy for the black.
2. the black has another same type region at top.
3. From 1 and 2, the black has two vital counts, so sure-alive.

Any comments?

Weimin