Prove: operation 'search' is correct