# A taste of a taste of rewrite systems

Rewriting is the process of
repeatedly replacing terms in a formula with other terms.
For example, the rule \(\neg\neg x \rightarrow x\) can be applied to the formula
\(\neg \neg \neg \neg a\) to get \(a\).
This seems important but I needed a bit more background to understand it.
These are my notes on some of the concepts in the survey paper
*A Taste of Rewrite Systems*.