| | are either too time-consuming or involve too many variables to test manually, allowing the exploration of |
| | either take too much time or involve too many variables to be tested manually; allowing the mathematicians to explore |
| | would either take too much time or involve too many variables to test manually, allowing them to explore |
| | would either be too time-consuming or would involve too many variables to test manually; this capability allows the mathematicians to explore
|
| | take too much time or variables to test manually; this capability allows the mathematicians to explore
|