Fix the paragraph about transitive closures
Revert "Fix the paragraph about transitive closures"

This reverts commit 7384b2fe3c2d5e694057187d3a45ad2cb9a055d8.
Fix the "delete" algorithm
Improve text in proposition 2