The connection of sensory trigeminal nuclei with the spinocerebellum.