Colouring: non-branching, red; true-branching, black.