finished up importing expressions and contradictions