#9: explicit the message flow and remove normative keywords in Section 3

[malishav]

The commit lowercases the normative keywords in Section 3 to avoid "restatement anti-pattern".