With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: UTC is calculated by reference to atomic clocks, and was adopted in 1972.
text_B: UTC is was adopted in 1972.
entailment.