# Todo 14 dec

- Rewrite whole bit about reduction sequences etc to have a logical structure
  - E.g. define what a reduction relation is, so that we don't have to do that in the ARS section, ...
  - Fix spacing lol

- Rest of Femke's email