The algorithm compares x to each entry in turn until a match is found or the list is exhausted.
We postpone the proof until Section 2.
Go to 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