Given the current partial solution and a candidate assignment to evaluate, it checks whether another variable can take a consistent value.

This value will be the same across each object you instantiate, as one would want to use a consistent value for each object.

No boundary conditions are necessary on open boundaries, though consistent values may be used with some problems.