Long description

Sketch of the argument