Fixed

"Check all possible assignments" works again

On the review results stage, the button that checks your argument against every possible combination of values was greyed out on essentially every argument, saying there were too many variables to check. It was counting the wrong thing — including bookkeeping the check never looks at — so arguments it could have worked through in a fraction of a second were refused.

The check now decides for itself, and runs. When an argument genuinely is too large, it says so plainly instead of pretending it found nothing.