The linked paper seemed really clear (I don't play Go, but I do study dynamic programming algorithms). So it may not pop out unless you play- but it looks like the black stones at Q2-R2 falsify the board (as they have no air holes). Actually I think the simplicity of the legality rule makes this even more interesting.
