The authors claim the formalization of the problem to be one of their contributions.	['non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non', 'non']	paper quality