a time to search, and a time to give up searching; a time to keep, and a time to discard;