Text this: Discovering logic / Mark Schoenfield and Jeannette Rosenblatt.