wt( t^.left ) < wt( t^.right^.left )