Text this: The elements of logic deductive