\subsection{Non-Certified Termination}\label{subsec:noncert}

any news there?

