A simple question: Are multiple tagged arguments with the same tag allowed? Just guessing, they are not, but 3028bis should specify that. I suppose nobody wants to use CommonLISP as normative reference. :) Michael