(defun fill-fg-tap (fourgal)
(cond ((= fourgal 4) 'fourgal-full)
(t (setq fourgal (+ 1 fourgal))
(fill-fg-tap fourgal))))



(defun fill-ng-tap (ninegal)
(cond ((= ninegal 9) 'ninegal-full)
(t (fill-ng-tap (+ 1 ninegal)))))


(defun fill-fg-from-ng(ninegal fourgal)
(cond ((= ninegal 0) 'ninegal-is-empty)
((= fourgal 4) 'fourgal-is-full)
(t (fill-fg-from-ng((- ninegal 1)(+ fourgal 1))))))

(defun fill-ng-from-fg(ninegal fourgal)
(cond ((= fourgal 0) 'fourgal-is-empty)
((= ninegal 9) 'ninegal-is-full)
(t (fill-ng-from-fg((- fourgal 1)(+ ninegal 1))))))


(defun dump-jug (ajug)
(cond ((= ajug 0) 'the-jug-is-empty)
(t (dump-jug (- ajug 1)))))


(setq fourgal 0)
(setq ninegal 0)