[= toward
Suppose, towards a contradiction, that......
The vector field H always points towards the higher A-level.
We now work toward the establishment of properties (A) to (D).