finished the comments in sec3. started in the proof strategy section
finished the comments in sec3. started in the proof strategy section