This sounds right, but for me the lucid problem-solving window is too short to be useful. Then I get sleepy and irritated.