Text this: Elementary lessons in logic :