With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Luca heard that atheists don t solve exponential equations because they don t believe in higher powers
text_B: Luca heard a pun
entailed.