$13\mathrm{.}3-1$ In line $16$ of RB$-$INSERT, we set the color of the newly inserted node $$ to red.

Observe that if we had chosen to set $$s color to black, then property $4$ of a redblack tree would not be violated. Why didn$$t we choose to set $$s color to black?