kalium comments on Better Rationality Through Lucid Dreaming