Solving human psychological problems using lucid dreams | Synapse