They could be very wrong. If CONSTFN is declared to be integrable then (CONSTFN T) could very well return the same thing, #'TRUE, every time. No need to cons.