Filling in the world-equal? procedure suffices to analyze (+ 1 2) correctly.
Filling in the world-equal? procedure suffices to analyze (+ 1 2)
correctly.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language