I'm confused by the example in readme:

   Example: LIKE '%abc%def'
   ...
   Step 2: Match first part as prefix
   
   -- "abc" must start at position 0
   Candidates = pos[a@0] ∩ pos[b@1] ∩ pos[c@2]

Is this a mistake, or is there some position magic that makes the position == 0, even after an arbitrary prefix?