Capybasilisk comments on Towards a formalization of the agent structure problem