Make clearer the distinction between looking over all cells and over all
constraints