The internal carotid nerve forms the internal carotid plexus around the internal carotid artery as the internal carotid artery passes through the skull and into the cranial cavity. Some of the fibers from the internal carotid plexus converge to form the deep petrosal nerve, which leaves the internal carotid plexus in the middle cranial fossa and joins the greater petrosal branch of the facial nerve [VII].