Will_Sawin comments on Metaphilosophical Mysteries