Cryptographer in audience: What if the *statement* is too long?
Kathleen, after thinking about it for 15 seconds: Do you mean the specification!?