. "The statements read as: a says that b is a truth-teller and b says, that a is not of the same kind as b." . . .