Spotting an ab-cell, which sees a bc-cell, which sees a ca-cell is not guessing. Neither is the realization that you can then eliminate the 'a's from all other cells that see both the ab-cell and the ca-cell. This would be represented in the posts as something like
- Code: Select all
[r1c1]-a-[r1c9]-b-[r3c8]-c-[r3c3]-a-[r1c1] => (r1c1 <> a)
aX-cell ab-cell bc-cell ca-cell aX-cell
Note that the aX-cell is just the cell that sees both the ab-cell and the ca-cell that I described above. The symbolic chain representation may appear to indicate that a guess was involved, but that does not have to be the case. Often, depending on the type of chain, the meat of the pattern you searched for is in between the two endpoints. The endpoints are the same cell which closes the loop.
That is just one of the simplest forcing chains. It can have more links, and there are various kinds of links and more complicated chains with different realizations that can be made from them, but they all should work without any guesses involved.