If SEND is removed from the specification, then remove this from the formal syntax.

See 9.2.17 is SEND a good idea.

Issue done.