Wei Dai comments on Metaphilosophical Mysteries