A new proof of the linearity of the Boyer-Moore string searching algorithm | Synapse