Pruning incorrect solutions before creating all possible solutions.