The number of elements in the subtrees should be fairly equal with respect to the number of black nodes, and if some element points to a child the child maintains a pointer then this should point back to the exact same parent. 