The *'d cells would form an impossible odd loop if not for the guardian (&) cells. But r9c6-7-r9c9=7=r4c9 and hence r9c6<>7, solving the puzzle._________________"Obviousness is always the enemy to correctness."-Bertrand Russell