With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The neighborhood is unique in having a very small permanent population, but housing over 4,000 students.
text_B: The neighborhood is unique in having a very small permanent population, but housing over 4,001 students.
contradiction.