Transformations
Formal mathematics is hard to read
documents must be processed in order to obtain satisfactory presentations