ok, RB-appel red-black invariant done -- modulo copying type for del from gazpacho