(root is red in colour null null null null null null null null ( null null null null null null null null null null null ( null null null null figure trees null (non-black leaf nodenull (cnull (firstevery red node does not have both the children coloured in black secondevery simple path from given node to any of its leaf nodes does not have equal number of black nodes null null null null null null null