For colored-node red-black trees, the red-black property is:
This page last modified on 24 January 2006.