1: \begin{definition}\label{le:reverseorientedtree} (Root-oriented tree)\\ 

2: A root-oriented tree is defined in the same way as the WDAG in Definition \ref{le:hyperflow} and Theorem \ref{le:existenceAWDAG} but with the further constraints that $T$ has a single sink node (which is a variable node) and that $T$ is a tree when viewed as an undirected graph. Note that the name ``root-oriented'' is due to the fact that the edges are oriented toward the root of the tree, as shown in Figure \ref{le:root_oriented_tree_figure}.

3: \end{definition}

4: