Apply feedbacks from Alain.
Explain what we have our own solver.
Uniformize the vocabulary.
Polish vocabulary.
Simplify grammar.
Better transition.
Add tikz style: box.
Introduce universe of realdoms.