Add description of neighbour invariant