(define and-reduce
  (lambda (lob)
    (cond 
     ((null? lob) #t)
     (else (and (car lob)
		(and-reduce (cdr lob)))))))