Docs and Main
Discrete example, stop criterion