I have swallowed the lowest hanging fruit and feel disgusting. The agent framework is fully general, if one is willing to take some externalities for granted. Indeed, one will be able to conquer with it, but as a vassal rather than a sovereign. Still, may as well pick up the spotted fruit as one walks by. My palette must be cleansed. An SAT solver, perhaps?