since it builds an exhaustive list