Jonas Hallgren comments on Towards a formalization of the agent structure problem