Our basic strategy for proving (1) is different.
We start with a brief overview of our strategy.
Furthermore, adopting this strategy considerably eases constructing a coding tree from a linear order.
The condition ...... can be improved by employing a strategy similar to that underlying the proof of Theorem 2.
The strategy is much the same as for the proof of Theorem 2.
a basic $\langle$broad/general/overall/viable$\rangle$ strategy