Walkthrough
Example 01 — Find the exceptional cell
Every unsolved cell is bivalue except cell r4c2, which has numbers 1, 8 and 9. Removing number 8 would leave every candidate appearing exactly twice in each row, column, and box, the grid would become a BUG.
Because the puzzle is assumed to have one solution, cell r4c2 must be number 8. Equivalently, numbers 1 and 9 can be eliminated from that cell.
What to notice: BUG+1 is only valid when the rest of the grid really satisfies the BUG counting condition.