Plus, using a filter will speed up enumerations, especially in large domains.