Wei Dai comments on My take on agent foundations: formalizing metaphilosophical competence