Varman comments on Better Rationality Through Lucid Dreaming