(define (procedure-arity-includes proc k) ; missing '?'Also, it seems the logic for above is wrong.(< k a)- should be -(>= k a) ; or swop k and a above. Cheersleppie