Last week I have done the following

(1) Finished the proof for ICCAD submission, now I believe the
    proof is more complete.
(2) I've updated the writing of the iccad submission to reflect the
    proofs.
(3) Discussed with Changbo about TCAD revision and will discuss the details
   with Prof. He.

The updated version is enclosed here.