Given a premise, retrieve a hypothesis that is entailed by the premise.He decided that he must leave no stone unturned.
No stone was left unturned when he was finished.
His search was quick and efficient.