. "The term A to B is a string" . . .