Every Node is either RED or BLACK
Root is always BLACK
New insertion are always RED
Every path from the root-leaf has the same number of BLACK nodes
No path can have two consecutive RED nodes
NULLs are BLACK
BLACK aunt ROTATE (BAR)
After rotation;
BLACK
RED RED
RED aunt RECOLOR
After Colorflip;
RED
BLACK BLACK
Note: Red Black tree is a mechanism for balancing the by using the labels to tell us when to rebalance.