An English name for REC is PROCEDURE. After all, that is what it returns. By the way, is the predicate PROCEDURE? missing? Could some one explain why LETREC is preferable to LABELS? If the name LABELS is so bad, let me suggest alternatives: LABEL MARK TAG NOTE GIVE SUPPLY PROVIDE ; from the ITERATE suggestion. ALLOW John