How to Use Lucid Dreaming and Dreams for Problem Solving