Which of the following statements best describes the protocol stack that IS-IS routers use to exchange control messages?