(defun test-all ()
  (test-all-bryan)
  (test-all-fayola)
  (test-all-ric)
  (tests))