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