Given a premise, retrieve a hypothesis that is entailed by the premise.They will discover something new each time.
Each time they will find something new.
There is nothing more to discover no matter how many times they look.