Assignment

Reason about expressions to compare their values without evaluating them