We talk to legendary sleep researcher Robert Stickgold, and eminent dream scientist Antonio Zadra about their book When Brains Dream, and their new theory, NEXTUP an overarching framework for explaining the biological function of dreams and dreaming.