Almost done with importing expressions and contradictions, need to test more