TAG comments on My take on agent foundations: formalizing metaphilosophical competence