When a variable is defined, equations are examined:

- If an equation contains exactly one unsolved variable, it is solved
for that variable.
- If an equation contains no unsolved variables, the equation is deleted.
- If a component of a
`tuple`is solved, the`tuple`equation is deleted. - If an equation contains a deleted
`tuple`variable, the equation is deleted.