Applying some of the corrections proposed by Bensmail and completing introduction
Moving CounterExample in Work
Handling Bensmail commentaries on the Counter-Example