Tagged: Idm extended version