Tyler Tracy comments on Towards a formalization of the agent structure problem