Some more difficult puzzles may also require several types of "what if?" reasoning that include more than one row (or column). This works on searching for contradictions: When a cell cannot be a box, because some other cell would produce an error, it will definitely be a space. And vice versa. Advanced solvers are sometimes able to search even deeper than into the first "what if?" reasoning. It takes, however, a lot of time to get some progress.