am now thinking maybe the minus sign should be interpreted literally. like maybe there is some invariant involving the number of red nodes minus the number of black nodes along some path or within some group of nodes. not sure what that invariant would be though
am now thinking maybe the minus sign should be interpreted literally. like maybe there is some invariant involving the number of red nodes minus the number of black nodes along some path or within some group of nodes. not sure what that invariant would be though