## list

#### 1

Let $f$ be the $i$th formula on the list.

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