Init: I had trouble reasoning through `search`, so I wrote it myself
Init: first attempt to reason about `search` (transcribed from text)