mnli premise: Surely we ought to secure the document, that is, provided the young man's guess turns out to be correct, at once. hypothesis: If the man is correct, there is no need to secure the document.