move all those toList calls inside _in-domain-of_