Text this: Studying deductive logic/