It's also been shown that "frequent lucid dreamers solve significantly more insight problems overall than non-lucid dreamers, ...