falsetru/htdp — pull request #1 by Prathyvsh (2014-09-02 08:11:04+00:00)
Title: Fix 37.1.4

(symbol=? 'Perfect result) in the original would never evaluate to true.