Collection search - [Corrected lecture proofs]