Will_Sawin comments on Reply to Holden on ‘Tool AI’