The linked paper seemed really clear (I don&#x27;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.