With no explanation, label text_A→text_B with either "not_related" or "related".
text_A: There are zero actors in Pitch Perfect 3.
text_B: In mathematical logic , Heyting arithmetic -LRB- sometimes abbreviated HA -RRB- is an axiomatization of arithmetic in accordance with the philosophy of intuitionism -LRB- Troelstra 1973 :18 -RRB- .. mathematical logic. mathematical logic. intuitionism. intuitionism. It is named after Arend Heyting , who first proposed it .. Arend Heyting. Arend Heyting
not_related.