PICT5834
Luis calls this the red-and-green tree.
6/11/2005
< ^ >