Nick_Beckstead comments on Reply to Holden on ‘Tool AI’