The failure function can now take advantage of the fact that it knows what does match in the mismatched location.