ida-domain decisions: why the code looks like this