Comment by b7r6

A minor note (many others here know Boyer personally and have more to add): there is a lot more to that CV than Boyer-Moore. Counting, all kinds of stuff. A true legend. May he RIP.