I cannot find the text of the following on the IETF web page. It should be referenced, one way or another, in RFC2223bis. Should it be published as an RFC? Bob Braden for the RFC Editor To: IETF-Announce: ; Subject: IESG statement on the use of formal languages in protocol specifications