Sol Luckman - Do we Exit the Matrix when we Lucid Dream?