(define match-require (lambda (goal env) (let ((sgoal (substitute-all goal env))) (begin (eval sgoal) env))))