for i, j being Nat
for G being Go-board st 1 <= i & i < len G & 1 <= j & j < width G holds
cell (G,i,j) is compact