root, leaves (null for leaves) are black no two continuous connected node is red each path from root to leaf has the same number of black nodes. Insert insert node is red