Given a premise, retrieve a hypothesis that is entailed by the premise.Even Applied can't say for certain that we invented them, although it's possible.
We might have invented them.
Applied can be certain that they have been invented.