How to Prove It — Velleman Daniel J. — libreta