We say that `map' must accept a procedure of as many arguments as there are list arguments to `map'. (By virtue of R5RS saying "must".) Is an implementation required to check this even if the argument list(s) is/are empty? -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla