Josef has had a very demanding day. Though his work is not physically challenging, it tends to mentally drain him. Which type of sleep will Josef probably require more of?