To replace a variable with a value that results in a true sentence
Operations which undo each other (for example, addition and subtraction)
Imported from external platform