> The current draft uses the following language:
>
> "Returns an exact integer /n/ such that if /proc/ definitely cannot be
> called with /k/ arguments, then the /k/th bit of /n/ is 0."
>
> What is meant by "cannot be called with k arguments" in the context of
> the semantics of evaluation in Scheme?
>
> While I understand the intended meaning, I am not sure whether it has
> any meaning in the formal semantics.

The formal semantics uses:

- wrong “wrong number of arguments”

- wrong “too few arguments”

So I guess "bit 0 == definitely takes those branches in the formal
semantics" is what is meant. Is there a simple way to refer to parts of
a denotational semantics in English prose?