(lambda (x) (not (zero? (expressed->number x)))
What is the implementation of true-value? ?