You want to know what's worse? I've played around with applying forward-checking and AC3 algorithms (admittedly without much success) to the LSAT games section. I'm nerdier that you can possibly imagine, pocus.