TheOtherDave comments on Better Rationality Through Lucid Dreaming