Hi Typo: (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.
Thank you -- I will fix this in the next revision. (I should know better than posting code I haven't tested).