are operations that undo each other
if the variable parts of two or more terms are EXACTLY the SAME, the terms are
Imported from external platform