Garrett Baker comments on Towards a formalization of the agent structure problem