7352684911849735622..541387.13.24.7547.3.521652.71..433421.765..51.3.724..745213.
Some solvers may put a 6 at r8c1 but this can’t be true, so there are two 3-candidate cells.
The BUG-stopping candidates are 9 at r6c3 and also 9 at r9c1. What can be inferred from this?
That BOTH must be true, that AT LEAST ONE must be true, or that ONE ONLY must be true?
Is there some other technique which could be applied here?
Yogi