Collection search - Logic course: Notes