(a.) See Trigeminal.