With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Doctor Doom (real name Doctor Victor von Doom, or Dr. Doom for short) is a Marvel comic book supervillain.
text_B: Doctor Doom Dr. Doom for short is a Marvel comic book supervillain.
entailment.