Case II:

Sibling is black, sibling's children are both Black

• Change s to Red
• Add extra Black to parent(x)
• Repeat while loop with parent(x)
• If entered Case II from Case I, will then terminate (parent(x) = Red)