A1987dM comments on Better Rationality Through Lucid Dreaming