With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: E. S. Topping named the peak "Observation Mountain" in 1872 as well, but that name did not stick.
text_B: that name did not stick.
entailment.