Given a premise, retrieve a hypothesis that is entailed by the premise.We need to push the edges of the envelope---all them!
It is necessary to push the edges of the envelope.
There is no need to push any edges of the envelope.