Text this: A modern introduction to logic/