1
Let f be the ith formula on the list.
The algorithm compares x with each entry in turn until a match is found or the list is exhausted.
2
[see also: enumerate] In the final section of the paper, we list some open problems.
All possible types are listed in Table 4.