updated structure of the work and intro to decloning
even closer to the ultimate proof!