That's the thing, Sanne and I haven't found the lines in the spec that would forbid the exception in this case. Of course I might have missed it, I'm happy to be pointed to it.
If the TCK fails, then Scott Marlow, I think we should consider challenging it.