implement search rules (inductive cases) -- bug in base case for call