head1

head2

1. The root of the tree is always black.
2. Black Property: Every path from a node to its descendant null nodes (leaves) has the same number of black nodes.
3. Red Property: Red nodes cannot have red children