~ tracking down this book ~
Understanding Proof — OmList