Given a premise, retrieve a hypothesis that is entailed by the premise.If there is a start, then there will be some other problem.
Another problem will come with a start.
As soon as it starts, all the problems will vanish.