sultan vinegar wrote:Now, we need to use both the DJE and JE+ to eliminate (4)r6c689:

I use a kraken argument from kraken cell r8c5:

If r8c5 = 7, then r8c5 <> (124), so the DJE is true, and r6c689 <> 4.

If r8c5 = 1 or 2, then we have a naked triple (124)r468c5, meaning r6c5 = 4, so r6c689 <> 4.

If r8c5 = 4, then as r8c5 is a target cell for the JE+, we must have (4) true in the base r1c89. This eliminates (4) from r1c3, r23c7 by sight, and also from the other target cell at r2c3. This leaves an X-Wing for (4) in c37/r67, so r6c689 <> 4.

Good show. It's a bit ironic that your kraken cell is the "spoiler" cell.