With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The executions were part of a government effort to reduce crime and the actual death toll or extent of the killings remains a mystery today.
text_B: The executions were part of a government effort to reduce crime and the actual death toll of the killings remains a mystery today.
entailment.