Text this: Deductive Logic