Graf-Lax , a 6 : 32 .lisp