1: $.

2: 

3: %TBD OUT	\begin{cor}

4: %TBD OUT		\label{cor:PDMD_convergence}

5: %TBD OUT		Let $