[see also: come across, discover, see, obtain
The main results of the paper are found in Section 2.
Our proof of Theorem 2 is based upon ideas found in [BN].
Any other unexplained notation is as found in Fox (1995).
Adding (7) and (8), we find that......
This will help us find what conditions on A are needed for T(A) to be analytic.
Then, for any two fixed points that Wagner's method does not find to be equivalent, he considers the possible lengths of potential solutions to (1).
We find ourselves forced to introduce an extra assumption.
This accords with the intuition that as we pass down the coding tree, we find out more and more detailed information about the ordering actually represented.