also you shouldn't call `list()` on the entire domain's cases. you should use generators so that this doesn't get too memory hungry