With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: When Sabeer Bhatia came up with the business plan for the mail service , he tried all kinds of names ending in ' mail ' and finally settled for hotmail as it included the letters `` html `` - the programming language used to write web pages .
text_B: The using happened
entailed.