On 2013-12-24, Stavros Macrakis <macrakis at alum.mit.edu> wrote: > Do we agree that false is a constant and should sort like true? I suggest > we special-case it in kindp; really fixing db.lisp is daunting.... Agreed on all counts. best, Robert Dodier