commenting out set axioms for the moment
oh no. need objects i think.
finally builds with support for BOTH solving modes