Jim Fenton wrote:
Yes; thanks for pointing out the repetition.
14) Algorithm 2 - "with one or more answer which is a
syntactically-valid SSP response" -> "with one or more syntactically
valid SSP responses"
Right. This points out that we need to think about what happens if we
get more than one SSP response. Any opinions?
Good question. Would simply using the most restrictive be an option?
(Implies a partial order for all SSP statements though, which may
not be true in general.)
NOTE WELL: This list operates according to