merge NM's changes
Revert minimize damage
improved proof of dvmptfsum by Mario's suggestions
poly is C^oo, fixed defn of C^oo, start lipshitz
aaliou waypoint
aalioulem3
aaliou
aannen start
aannen
abortive aaliou3
convergence proofs
L is highly approximable