[DFHG4] What is the function of the red nucleus?