[tavisrudd]

(let ((john-mccarthy '())) (with-backtracking john-mccarthy))