- fixed third axiom
- added example with infinite recompilation chain
- added new definition of the differential