Implement the remaining modes of reasoning in nsolve, and thus