With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The leftover hash lemma is a lemma in cryptography first stated by Russell Impagliazzo, Leonid Levin.
text_B: The leftover hash lemma is a lemma in cryptography first stated by Russell Impagliazzo, Leonid Levin, and Michael Luby.
neutral.