if 99*wt(t^.left) > 70*wt(t) then ...