added working on math assertions for theories.