Page 81
Ignore BLOCK. You rarely need it. Even Graham never uses it until a very advanced section of the book.
That's even more true of TAGBODY. Forget he mentioned it.
There are a few uses for PROGN, but they're rare. LET, DEFUN, and LAMBDA have an implicit PROGN built in. Use COND, not IF PROGN.