Given a premise, retrieve a hypothesis that is entailed by the premise.well that takes all the work out of it
The result is that less work is involved.
That actually doubles the amount of work necessary.