Fixed text according to data failure
Table of contents is page number 2
Formal transformations defined