103427068408053270702080034915768423234500786876342005620875340340206857587034602

Here we have 59 in r1c27 and it's easy enough to see that r3c27 cannot BOTH be reduced to 59 only if we are to have a uniqe solution.

But how does the logic prove that NEITHER of r3c7 can be 9?