Coded propagateMessage function