1: \begin{definition} 

2: Given $Q$, $\tilde Q$ is the class of all pairs $(\alpha,f)$ where $\alpha$ is a well-order and $f:\alpha\rightarrow Q$.  If $(\alpha,f),(\beta,g)\in\tilde Q$, we say $(\alpha,f)\tilde\preceq_Q(\beta,g)$ if there is a strictly increasing function $\pi:\alpha\rightarrow\beta$ such that for all $\gamma\in\alpha$, $f(\gamma)\preceq_Q g(\pi(\gamma))$.

3: 

4: {\NWT}, the Nash-Williams Theorem, is the statement that for if $Q$ is a bqo then $\tilde Q$ is bqo.\footnote{Note that even though $\tilde Q$ is not a set, we can still formulate the statement that $\tilde Q$ is bqo in second order arithmetic.}

5: 

6: {\GHT}, the Generalized Higman's Theorem, is the statement that if $Q$ is a $B$-bqo then $Q^{<\omega}$ is a $B$-bqo.\footnote{Our statement of {\GHT} differs slightly from Marcone's: Marcone takes {\GHT} to be the statement that if $Q$ is a $B$-bqo for all barriers $B$ then $Q^{<\omega}$ is a $B$-bqo for all barriers $B$, which is a $\Pi^1_3$ statement, and mentions this version of {\GHT} as an intermediate step.}

7: \end{definition}

8: