Properties of RB Trees
Every node is either Red or Black.
Every leaf is Black.
If a node is Red, then both its children are Black.
Every path from some node to a leaf contains the same number of Black nodes.