and the i, j, k, l range over the possible statuses of each of the four edges attached to the vertex. The vertex states of adjacent vertices must satisfy compatibility conditions along the connecting edges (bonds) in order for the state to be admissible.