(define debunk-halts? (lambda () (if (halts? debunk-halts?) (loop-forever) (return-seven))))
Moral of the story: "mathematically specifiable" and "computable" are different things.