Add insight concerning alert-propagators to Section 5 example