If we decide to dump NAMED-LAMBDA in favor of REC, why not dump BEGIN and SEQUENCE in favor of LET()? I worry about trying to decide issues already agreed upon, instead of clarifing nebulous issues in RRRS. On one of those issues, EQ? and EQV? semantics, I vote the straight JAR line. John