## until

The algorithm compares $x$ to each entry in turn until a match is found or the list is exhausted.

This process can be repeated until we obtain the promised triangulation.

We postpone the proof until Section 2.

We walk from $X$ to $Y$ until the first place where $G$ changes.

We defer the proof of the `moreover' statement in Theorem 5 until after the proof of the lemma.

There are, however, a few important papers of which we were unaware until fairly recently.

Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z