gwern comments on Metaphilosophical Mysteries