Justin Does SICP

is it even a coding exercise at all? it seems like they’re asking for more of a math proof