Update Guaranteeing-message-processing.md

from html