[SamReidHughes]

I never claimed it was a formal specification. The question was, is the meaning of (a b . c) defined, and the answer is, yes, because (b . c) is a list.

[nilkn]

And I say the answer is no, because (b . c) is an arbitrary pair, not a list. It would appear that we’re at an impasse.