Benson's rule (properly implemented) will not say this position is alive, because the marked liberty is not shared by all strings adjacent to the eye. .......|...... >++O+O++O+OX++ >OOOOXOOOOOX++ >XXXXXXXXXXX++ >+++++++++++++ >+++++++++++++ >