Transformations
Formal mathematics is hard to read
documents must be processed in order to obtain satisfactory presentations
Presentation is a vehicle of interaction, provided that...