Theories in Lucid Dreaming