Documented constant in higher.rkt.