This is the hardest step: apply the extended box rule and do some more eliminations.
Explain the Extended Box Rule!
Next step - Back