Okay, that makes sense. I've been working on a number-based puzzle game and it's so open-ended I don't know how to check if things are solvable, so I've started chipping away at brute-force testing.